A Survey of Formal Concept Analysis Support for Software Engineering Activities
نویسندگان
چکیده
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This paper presents a broader overview by describing and classifying academic papers that report the application of FCA to software engineering. The papers are classified using a framework based on the activities defined in the ISO12207 Software Engineering standard. Two alternate classification schemes based on the programming language under analysis and target application size are also discussed. In addition, the authors work to support agile methods and formal specification via FCA is introduced.
منابع مشابه
Applying Concept Analysis for Design Improvement
In the practice of software analysis very few formal processes have been put to use. Success of most of the activites is dependent on the analysts’ understanding and interpretation. Especially areas like requirement analysis, class/object identification and class hierarchy design are plagued by evils of not having formal techniques. Formal Concept Analysis has presented itself as a good candida...
متن کاملMethodological Support for FormallySpecifying Safety - Critical
We present the concept of an agenda and apply this concept to the formal speciication of software for safety-critical applications. An agenda describes a list of activities to solving a task in software engineering, and validations of the results of the activities. Agendas used to support the application of formal speciication techniques provide detailed guidance for speciiers, schematic expres...
متن کاملAgendas: A concept to guide software development activities
We present the concept of an agenda. This concept serves to represent process knowledge in the area of software development. An agenda consists of a list of steps to be performed when developing a software artifact. Each activity may have associated a schematic expression of the language in which the artifact is expressed and some validation conditions that help detect errors. Agendas provide m...
متن کاملIncremental Classification Rules Based on Association Rules Using Formal Concept Analysis
Concept lattice, core structure in Formal Concept Analysis has been used in various fields like software engineering and knowledge discovery.In this paper, we present the integration of Association rules and Classification rules using Concept Lattice. This gives more accurate classifiers for Classification. The algorithm used is incremental in nature. Any increase in the number of classes, attr...
متن کاملUsing SVM and Concept Analysis to support Web Service Classification and Annotation
The need for supporting the classification and semantic annotation of services constitutes an important challenge for service–centric software engineering. Late–binding and, in general, service matching approaches, require services to be semantically annotated. Such a semantic annotation may require, in turn, to be made in agreement to a specific ontology. Also, a service description needs to p...
متن کامل